Fix mouse face dismissal in some widget popups

* src/xterm.c (handle_one_xevent): Accept XINotifyUngrab as
well.

diff --git a/src/xterm.c b/src/xterm.c
index c841240a72ba5ae9e4184f90dd2fec724f84a12a..848389ce9654f2130c0c4d925d76f8603103e1be 100644 (file)
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -16909,7 +16909,8 @@ handle_one_xevent (struct x_display_info *dpyinfo,
 
 #ifdef USE_X_TOOLKIT
              if (popup_activated ()
-                 && leave->mode == XINotifyPassiveUngrab)
+                 && (leave->mode == XINotifyPassiveUngrab
+                     || leave->mode == XINotifyUngrab))
                any = x_any_window_to_frame (dpyinfo, leave->event);
 #endif